<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<body>
  <select id="filter_by" size="12"></select>

  <script language='javascript'>
    document.body.offsetWidth;
    document.getElementById("filter_by").disabled = true;
  </script>
</body>
</html>
